Knihy od autora Naijun Zhan

Zobrazeno 1 – 6 z 6 výsledků

1. 

   Formal Verification of Simulink/Stateflow Diagrams

   Naijun Zhan, Shuling Wang, Hengjun Zhao | Springer International Publishing AG, 2016

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2710 Kč

   Koupit
2. 

   Formal Verification of Simulink/Stateflow Diagrams

   NAIJUN ZHAN | Springer International Publishing AG, 2018

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2710 Kč

   Koupit
3. 

   Symposium on Real-Time and Hybrid Systems

   Cliff Jones, Ji Wang, Naijun Zhan | Springer Nature Switzerland AG, 2018

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
4. 

   Dependable Software Engineering: Theories, Tools, and Applications

   Martin Fränzle, Deepak Kapur, Naijun Zhan | Springer International Publishing AG, 2016

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
5. 

   Formal Methods and Software Engineering

   Jingyi Wang, Naijun Zhan | Springer-Verlag GmbH, 2025

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1746 Kč

   Koupit
6. 

   Formal Methods

   Naijun Zhan, Corina Pasareanu | Springer Nature Switzerland AG, 2021

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2592 Kč

   Koupit

Poskytujeme slevy pro studenty, učitele a držitele ISIC. Zjistěte více